บทเรียนภาษาซีพลัสขั้นสูง: ประสิทธิภาพและความสามารถในการแสดงออกของซีพลัสสมัยใหม่

ซีพลัสสมัยใหม่ (ซีพลัส11/14/17) ได้นำเสนอ การสร้างโครงสร้างแบบไม่มีต้นทุน ที่ช่วยลดช่องว่างระหว่างการควบคุมฮาร์ดแวร์ระดับต่ำกับความสามารถในการอ่านเข้าใจได้ง่าย ความมีประสิทธิภาพถูกบรรลุผ่านการจัดการหน่วยความจำอย่างแน่นอน ในขณะที่ความสามารถในการแสดงออกถูกเพิ่มเติมผ่านตรรกะในขั้นตอนการคอมไพล์

1. การจัดวางหน่วยความจำ: คอนเทนเนอร์ std::array เทียบกับ std::vector

std::array เป็นตัวห่อสำหรับอาร์เรย์แบบซีที่ทันสมัย ถูกจัดสรรบน สแต็ก พร้อมขนาดคงที่ที่ทราบตั้งแต่ขั้นตอนการคอมไพล์ ในทางกลับกัน, std::vector อยู่บน ฮีพ และขยายขนาดได้ตามต้องการ แม้ว่า std::vector จะใช้ปัจจัยการเติบโตแบบเรขาคณิต (บ่อยครั้งคือ $1.5\times$ หรือ $2\times$) ซีพลัสสมัยใหม่ให้บริการ shrink_to_fit() เพื่อขอคืนพื้นที่ที่ไม่ได้ใช้งาน ซึ่งมอบการควบคุมที่เข้มงวดกว่าภาษาที่จัดการโดยอัตโนมัติอย่างกังโกล

2. SFINAE และความปลอดภัยของประเภทข้อมูล

ผ่าน std::enable_if และ std::is_enumนักพัฒนาสามารถนำเสนอมากกว่า การแทนที่ที่ล้มเหลวไม่ใช่ข้อผิดพลาด (SFINAE)ซึ่งทำให้คอมไพเลอร์สามารถเลือกโอเวอร์โหลดฟังก์ชันเฉพาะได้ตามลักษณะของประเภทในขั้นตอนการคอมไพล์ เช่น การสร้างตัวดำเนินการสตรีมแบบทั่วไปสำหรับเอนัม โดยใช้ std::underlying_type.

// ไฮไลท์การจัดการหน่วยความจำในซีพลัส11
v.push_back(std::move(obj)); // หลักการย้ายทรัพยากร
arr.at(0); // ตรวจสอบขอบเขต

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which container is allocated on the stack and has a fixed size defined at compile-time?

std::vector

std::array

std::list

std::deque

QUESTION 2

What is the primary purpose of the shrink_to_fit() member function?

To delete all elements in the container.

To request a reduction in capacity to match the current size.

To sort the elements and remove duplicates.

To move the container to the stack.

QUESTION 3

In the SFINAE example, what does std::underlying_type provide?

The memory address of the enum.

The integral type used to represent the enum.

A string representation of the enum name.

The number of elements in the enum.

QUESTION 4

How does C++ std::vector growth typically differ from Golang slice growth in high-load scenarios?

C++ vectors never grow; they must be pre-allocated.

Golang uses a fixed growth of 10 elements, while C++ is random.

C++ provides explicit control (shrink_to_fit) to manage memory-tight environments.

Golang slices are stored on the stack by default.

QUESTION 5

Which C++11 feature allows a vector to take ownership of a temporary object without copying?

std::enable_if

push_back(T&&) with Rvalue-overload

std::array static size

The 'mutable' keyword